Constructive set theory - PDFSEARCH.IO - Document Search Engine

Constructive set theory
Results: 37

#	Item
1	Constructive Mathematics in Constructive Set Theory Nicola Gambino University of Palermo MALOA Worskhop Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2013-05-09 12:23:04
2	Kripke models for subtheories of CZF Rosalie Iemhoff∗ Abstract In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical Add to Reading List Source URL: www.phil.uu.nl - Date: 2009-06-05 05:28:48
3	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-25 09:32:10 Set theory Principia Mathematica Science Extensionality Axiom of extensionality Intensional Intension Intuitionistic type theory Deductive lambda calculus
4	Generalized Inductive Definitions in Constructive Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A. Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 14:55:46
5	The Formulae-as-Classes Interpretation of Constructive Set Theory Michael RATHJEN∗ Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, England Department of Mathematics, Ohio State University Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 14:50:32
6	Realizability for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A. Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English
7	The Disjunction and Related Properties for Constructive Zermelo-Fraenkel Set Theory Michael Rathjen∗ Department of Mathematics, Ohio State University Columbus, OH 43210, U.S.A. Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 14:59:30
8	Mathematical Logic Quarterly, 23 OctoberThe Natural Numbers in Constructive Set Theory Michael Rathjen1, ∗ 1 Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-10-11 09:21:50
9	A note on Bar Induction in Constructive Set Theory∗ Michael Rathjen Department of Mathematics The Ohio State University Columbus, OH 43210, USA and Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2011-07-09 07:15:02
10	Chapter 15 Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions Michael Rathjen Add to Reading List Source URL: www1.maths.leeds.ac.uk Language: English - Date: 2012-08-30 05:01:48

UPDATE